Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·20h
📚Stack Allocation
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·1d·
Discuss: Hacker News
🔪Program Slicing
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·1d·
Discuss: Hacker News, r/rust
🔒Rust Borrowing
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·19h·
Discuss: Lobsters, Hacker News
✅Type Checking
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·11h·
Discuss: Lobsters, Hacker News
📡Erlang BEAM
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.com·2d·
Discuss: Hacker News
🧪Compiler Testing
Flag this post
Master Rust Pattern Matching: Build Safer, More Expressive Code with Advanced Techniques
dev.to·21h·
Discuss: DEV
🎯Pattern Matching
Flag this post
How We Saved 70% of CPU and 60% of Memory in Refinery’s Go Code, No Rust Required.
honeycomb.io·19h·
Discuss: Hacker News, r/programming
📚Stack Data Structures
Flag this post
Understanding Type-Based Alias Analysis in C and C++
kdab.com·4d·
Discuss: Hacker News
📚Stack Allocation
Flag this post
Advanced Threat Protection (ATP): An Ultimate Guide for Modern SOCs
vmray.com·5h
🛡️Security Type Systems
Flag this post
🚀 Go Faster: Cutting the Slack in GC with Smart Memory Allocation
dev.to·2d·
Discuss: DEV
🧠Memory Allocators
Flag this post
Vectorizing for Fun and Performance
ibm.com·2d·
Discuss: Hacker News
🔀SIMD Programming
Flag this post
HeraclesQL: A Python DSL for Writing Alerts
hudsonrivertrading.com·1d·
Discuss: Hacker News
🗃️Query Compilation
Flag this post
Down with template (or not)!
cedardb.com·20h
📋Template Compilers
Flag this post
exploits.club Weekly Newsletter 91 - Patch-gapping Browsers, Ubuntu LPEs, Bluetooth Int Underflows, And More
blog.exploits.club·3h
📦Allocation Elision
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·18h·
Discuss: Hacker News, r/programming
🔗Weak References
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·13h
🛡️Error Handling
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.org·16h
🌱Minimal ML
Flag this post
Nim 2.2.6
nim-lang.org·5h·
Discuss: Hacker News
💬Error Messages
Flag this post
We May Have Fixed Python's 25-Year-Old Vulnerability
iyehuda.substack.com·1d·
Discuss: Substack
🛡️Parser Security
Flag this post